Homotopy type theory - PDFSEARCH.IO - Document Search Engine

Homotopy type theory
Results: 77

#	Item
31	Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM) Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-15 06:13:17 Homotopy theory Algebraic topology Category theory Differential topology Homotopy type theory Type theory Fibration Homotopy Homotopical algebra Model category Homotopy fiber
32	Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-02 06:06:44
33	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: www.heidelberg-laureate-forum.org Language: English - Date: 2014-06-05 11:45:29
34	Homotopy-theoretic aspects of ¨ type theory Martin-Lof Nicola Gambino University of Palermo visiting Add to Reading List Source URL: www.math.unipa.it Language: English - Date: 2010-08-01 08:45:19
35	Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-06-20 18:26:54
36	Daniel R. Licata Personal Information: E-mail: Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English Type theory International Conference on Functional Programming Programming language theory Homotopy type theory Twelf Dependent type Logical framework Functional programming SIGPLAN Programming language Symposium on Principles of Programming Languages Agda
37	W-TYPES IN HOMOTOPY TYPE THEORY BENNO VAN DEN BERG1 AND IEKE MOERDIJK2 Abstract. We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2013-07-15 03:56:10
38	Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008 Carnegie Mellon University Add to Reading List Source URL: mawarren.net - Date: 2013-10-22 00:42:36
39	Introduction Homotopy Type Theory The idea of HITs The fundamental group of the circle Computing transportations Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-05-15 03:20:54
40	Michael Shulman University of San Diego Homotopy type theory: towards Grothendieck’s dream Several decades ago, Grothendieck proposed that “∞-groupoids” could replace topological spaces as a context for homotopy Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:37

UPDATE